Miscellaneous HOL
ثبت نشده
چکیده
منابع مشابه
Isabelle/hol as a Platform for Partiality
In Isabelle, there are several possibilities when one wants to support partial functions. One could put Isabelle to its intended use by directly embedding a logic of partial functions in Isabelle's meta-logic. Alternatively, one could investigate partial functions in one of Isabelle's already well-developed object logics, e.g., ZF or HOL. In this paper we pursue the second approach and describe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009